Crustal Movements in the Pre-historic and Historic Times

Victor Horsley on "trephining in pre-historic times".

Victor Horsley was intrigued by newly discovered, ancient trepanned skulls, especially those that revealed that the operation was performed on living patients. He examined the man-made openings as an expert on the locus of the primate motor cortex and as a surgeon who had successfully removed parts of the motor cortex to treat Jacksonian epilepsy. He postulated that trepanation originated as a ...

Forecasting travel times based on actuated and historic data

In this research a model of forecasting the travel times of links will be addressed. Forecasting is one of the main topics of an integrated traffic management system and a necessity of dynamic route planning systems. To be able to forecast properly we use both historic data and current data from monitoring devices as input for our dynamic model. Thus, combining the best of both worlds, we are a...

Fermented beverages of pre- and proto-historic China.

Chemical analyses of ancient organics absorbed into pottery jars from the early Neolithic village of Jiahu in Henan province in China have revealed that a mixed fermented beverage of rice, honey, and fruit (hawthorn fruit and/or grape) was being produced as early as the seventh millennium before Christ (B.C.). This prehistoric drink paved the way for unique cereal beverages of the proto-histori...

Wallpapers in Historic Preservation

From Pre-historic to Post-modern Symbolic Model Checking

Symbolic model checking, which enables the automatic verification of large systems, proceeds by calculating with expressions that represent state sets. Traditionally, symbolic model-checking tools are based on backward state traversal; their basic operation is the function , which given a set of states, returns the set of all predecessor states. This is because specifiers usually employ formali...